| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| EFF7.01 | Text File | 604 | 26KB | 1994-05-31 |
| EFF7.02 | Text File | 614 | 26KB | 1994-05-31 |
| EFF7.03 | Text File | 747 | 34KB | 1994-05-31 |
| EFF7.04 | Text File | 561 | 24KB | 1994-05-31 |
| EFF7.05 | Text File | 777 | 34KB | 1994-05-31 |
| EFF7.06 | Text File | 1,022 | 49KB | 1994-05-31 |
| EFF7.07 | Text File | 799 | 34KB | 1994-05-31 |